Einar Broch Johnsen (u. A.) | Formal Methods For Multicore Programming

Einar Broch Johnsen Software Engineering And Formal Methods

Integrated Formal Methods, Fachbücher von Luigia Petre, Einar Broch Johnsen

Formal Methods For Multicore Programming 15th International School On

Theory and Practice of Formal Methods, Fachbücher von Marcello Bonsangue, Einar Broch Johnsen, Erika Ábrahám

Parallel Programming | Gudula Rünger (u. A.) | For Multicore And

Formal Methods for Open Object-Based Distributed Systems, Fachbücher von Marcello M. Bonsangue, Einar Broch Johnsen

Software Engineering and Formal Methods, Fachbücher von Einar Broch Johnsen, Ina Schaefer

Markus Roggenbach (u. A.) | Formal Methods ¿ Fun For Everybody |

Charles Pecheur (u. A.) | Formal Methods For Industrial Critical

Paolo Ciancarini (u. A.) | Formal Methods For Open Object-based

Marco Bernardo (u. A.) | Formal Methods For Model-driven Engineering |

Jianping Wu (u. A.) | Formal Methods For Protocol Engineering And

Bernhard Beckert (u. A.) | Formal Methods For Components And Objects |

Marco Bernardo (u. A.) | Formal Methods For Executable Software Models

Arend Rensink (u. A.) | Formal Methods For Open Object-based